A normalized solitary wave solution of the Maxwell-Dirac equations

We prove the existence of a $L^2$-normalized solitary wave solution for the Maxwell-Dirac equations in (3+1)-Minkowski space. In addition, for the Coulomb-Dirac model, describing fermions with attractive Coulomb interactions in the mean-field limit, we prove the existence of the (positive) energy minimizer.     

一个R2上含双曲函数核的Hilbert型不等式

通过引入参数，构造了一个全平面上的、含双曲函数的非齐次核函数。利用正切函数的有理分式展开，建立了最佳常数因子与正切函数高阶导数相关联的Hilbert型积分不等式。 作为应用，通过赋予参数不同的值，建立了一些有意义的特殊结果。     

Analysis of a new multispecies tumor growth model coupling 3D phase-fields with a 1D vascular network

In this work, we present and analyze a mathematical model for tumor growth incorporating ECM erosion, interstitial flow, and the effect of vascular flow and nutrient transport. The model is of phase-field or diffused-interface type in which multiple phases of cell species and other constituents are separated by smooth evolving interfaces. The model involves a mesoscale version of Darcy’s law to capture the flow mechanism in the tissue matrix. Modeling flow and transport processes in the vasculature supplying the healthy and cancerous tissue, one-dimensional (1D) equations are considered. Since the models governing the transport and flow processes are defined together with cell species models on a three-dimensional (3D) domain, we obtain a 3D–1D coupled model.     

von Neumann’s trace inequality for Hilbert–Schmidt operators

von Neumann’s inequality in matrix theory refers to the fact that the Frobenius scalar product of two matrices is less than or equal to the scalar product of the respective singular values. Moreover, equality can only happen if the two matrices share a joint set of singular vectors, and this latter part is hard to find in the literature. We extend these facts to the separable Hilbert space setting, and provide a self-contained proof of the “latter part”.     

Sobolev-Lorentz范数约束下的次临界型Adams不等式

本文在Sobolev-Lorentz空间W²L^2,q(R⁴)的范数约束下得到了一个最佳的二阶次临界型Adams不等式.进一步,当次临界指标逼近最佳常数时,得到了Adams泛函的上、下界的估计.本文主要采用了Lam和Lu[A new approach to sharp MoserTrudinger and Adams type inequalities:a rearrangement-free argument,J.Diff Equ.,2013,255(3):298-325]的分割水平集方法.     

Uniqueness in Harper’s vertex-isoperimetric theorem

For a set $A\subseteq Q_n={\left\{0,1\right\}}^n$ the $t$-neighbourhood of $A$ is $N^t\left(A\right)=\left\{x:d\left(x,A\right)\le t\right\}$, where $d$ denotes the usual graph distance on $Q_n$. Harper’s vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_n$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_n$ is a subset of given size for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order?Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e. a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_n$. We go further to classify all the sets $A\subseteq Q_n$ for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$ among the subsets of $Q_n$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_n$ for which the sizes of $N\left(A\right)$ and $N\left(A^c\right)$ are minimal among the subsets of $Q_n$ of given size, then the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are also minimal for all $t>0$ among the subsets of $Q_n$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^c\right)$ to have minimal size among the subsets $A\subseteq Q_n$ of given size.     

A Weighted Trudinger–Moser Inequality on R^N and Its Application to Grushin Operator

Let x=(x',x')with x'∈Rk and x'∈R^N-k andΩbe a x'-symmetric and bounded domain in R^N(N≥2).We show that if 0≤a≤k-2,then there exists a positive constant C>0 such that for all x'-symmetric function u∈C0^∞(Ω)with∫Ω|■u(x)|^N-a|x'|^-adx≤1,the following uniform inequality holds1/∫Ω|x|^-adx∫Ωe^βa|u|N-a/N-a-1|x'|^-adx≤C,whereβa=(N-a)(2πN/2Γ(k-a/2)Γ(k/2)/Γ(k/2)r(N-a/2))1/N-a-1.Furthermore,βa can not be replaced by any greater number.As the application,we obtain some weighted Trudinger–Moser inequalities for x-symmetric function on Grushin space.